Turing machine - PDFSEARCH.IO - Document Search Engine

Turing machine
Results: 564

#	Item
131	PDF Document Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:14 Computer science Computability theory Models of computation Alan Turing Universal Turing machine Computability Post correspondence problem Algorithm Counter machine Theory of computation Theoretical computer science Turing machine
132	Java Memory Model ...and the pragmatics of it Aleksey Shipilev , @shipilev The following is intended to outline our general product direction. It Add to Reading List Source URL: shipilev.net Language: English - Date: 2014-07-14 16:32:10 Oracle Corporation Java Oracle Database Brainfuck C Programming language Memory model Abstract machine Turing machine Computing Software Cross-platform software
133	Generating counterexamples for quantitative safety specifications in probabilistic B Ukachukwu Ndukwu1 Department of Computing, Macquarie University, NSW 2109 Sydney, Australia. Abstract Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-04-30 06:17:08 Probabilistic complexity theory Complexity classes Probabilistic Turing machine Turing machine PP NL Predicate transformer semantics IP Model checking Theoretical computer science Computational complexity theory Applied mathematics
134	John von Neumann and the Evolutionary Growth of Complexity: Looking Backwards, Looking Forwards. . . Barry McMullin http://www.eeng.dcu.ie/~mcmullin/ c 2000The MIT Press Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 2004-05-21 18:12:48 Turing machine Academia Computability theory Models of computation Cellular automaton Universal Turing machine John von Neumann Self-replication Theory of computation Science Mathematics Artificial life
135	Chapter 3 Artificial Knowledge 3.1 Introduction Add to Reading List Source URL: www.eeng.dcu.ie Language: English - Date: 2003-03-18 07:33:16 Computer science Philosophy of artificial intelligence Computability theory Human–computer interaction Turing machine Turing test Computing Machinery and Intelligence Universal Turing machine Computational complexity theory Alan Turing Artificial intelligence Science
136	Java Memory Model ...and the pragmatics of it Aleksey Shipilev , @shipilev The following is intended to outline our general product direction. It Add to Reading List Source URL: shipilev.net Language: English - Date: 2014-07-14 16:32:10 Oracle Corporation Java Oracle Database Brainfuck C Programming language Memory model Abstract machine Turing machine Computing Software Cross-platform software
137	Modeling and Querying Probabilistic XML Data 1 Benny Kimelfeld Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2008-12-18 16:36:47 Applied mathematics Statistics Bayesian network Randomized algorithm Probabilistic Turing machine Probabilistic complexity theory Theoretical computer science Networks
138	Review of Probably Approximate Correct, by Leslie Valiant. (Basic Books, 2013, x+195 pps.) In 2010, Leslie Valiant won the Turing Award, the “Nobel prize of computer science”. The citation mentioned a number of contr Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2015-03-15 21:24:02 Computer science Theoretical computer science Artificial intelligence Probably approximately correct learning Learning Learnability Leslie Valiant Supervised learning Algorithm Computational learning theory Machine learning Applied mathematics
139	COMPUTING MACHINERY AND INTELLIGENCE:22 PM A. M. TuringComputing Machinery and Intelligence. Mind 49: . Add to Reading List Source URL: mypage.iu.edu Language: English - Date: 2015-01-11 16:22:30 Computer science Science Models of computation Computability theory Computing Machinery and Intelligence Turing machine Computer Finite-state machine Turing test Alan Turing Philosophy of artificial intelligence Artificial intelligence
140	C HICAGO J OURNAL OF T HEORETICAL C OMPUTER S CIENCE 2012, Article 07, pages 1–24 http://cjtcs.cs.uchicago.edu/ Computational Models with No Linear Speedup Amir M. Ben-Amram Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2012-12-14 16:46:25 Computability theory Computational complexity theory Computational resources Models of computation Linear speedup theorem Universal Turing machine Speedup theorem DTIME Time complexity Theoretical computer science Applied mathematics Turing machine

UPDATE